[tail] [up]

2.2.1 Integrals 1 to 77

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 199 402 297 837 0 0 -1

N.S.

1 1.00 1.70 3.44 2.54 7.15 0.00 0.00 -0.01

time (sec)

N/A 0.129 1.276 1.697 0.526 0.484 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 93 242 183 483 0 0 -1

N.S.

1 1.00 1.11 2.88 2.18 5.75 0.00 0.00 -0.01

time (sec)

N/A 0.106 1.125 1.415 0.517 0.520 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 210 109 82 229 0 0 -1

N.S.

1 1.00 3.68 1.91 1.44 4.02 0.00 0.00 -0.02

time (sec)

N/A 0.060 3.134 1.268 0.526 0.376 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.016 8.266 180.000 0.000 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.015 14.763 180.000 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 169 336 360 2377 0 0 -1

N.S.

1 1.00 1.42 2.82 3.03 19.97 0.00 0.00 -0.01

time (sec)

N/A 0.141 1.607 1.519 0.421 0.424 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 205 185 0 1200 0 0 -1

N.S.

1 1.00 2.33 2.10 0.00 13.64 0.00 0.00 -0.01

time (sec)

N/A 0.096 6.152 1.292 0.000 0.579 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 77 65 136 277 66 127 56

N.S.

1 1.00 1.92 1.62 3.40 6.92 1.65 3.18 1.40

time (sec)

N/A 0.023 0.203 1.050 0.307 0.567 0.092 0.404 0.095

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.025 13.780 180.000 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.024 16.653 180.000 0.000 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 817 685 603 9360 0 0 -1

N.S.

1 1.00 3.45 2.89 2.54 39.49 0.00 0.00 -0.00

time (sec)

N/A 0.266 10.679 2.019 0.575 0.555 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 463 375 402 4901 0 0 -1

N.S.

1 1.00 2.95 2.39 2.56 31.22 0.00 0.00 -0.01

time (sec)

N/A 0.175 7.314 1.829 0.554 0.457 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 263 166 0 2128 0 0 -1

N.S.

1 1.00 2.63 1.66 0.00 21.28 0.00 0.00 -0.01

time (sec)

N/A 0.095 6.120 1.400 0.000 0.430 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.027 21.784 180.000 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.025 16.679 180.000 0.000 0.000 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-2) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1392 1392 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.384 26.424 1.134 0.000 0.000 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-2) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1363 1363 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.162 20.107 1.090 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1280 1280 556 0 0 0 0 0 -1

N.S.

1 1.00 0.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.974 3.598 1.232 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1280 1280 556 0 0 0 0 0 -1

N.S.

1 1.00 0.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.987 3.096 1.382 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-2) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1365 1365 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.118 17.788 1.263 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

1341 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.160 19.223 180.000 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 180.002 180.000 0.000 0.000 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 180.003 180.000 0.000 0.000 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

1343 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.165 19.963 180.000 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.043 18.359 180.000 0.000 0.000 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 1.423 180.000 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 1.625 180.000 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.047 17.022 180.000 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.021 100.423 0.353 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.020 7.094 0.468 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

13 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.012 5.181 0.556 0.000 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 244 165 194 316 0 188 273

N.S.

1 1.00 1.44 0.98 1.15 1.87 0.00 1.11 1.62

time (sec)

N/A 0.129 0.243 4.066 0.330 0.381 0.000 0.401 1.307

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 169 103 132 204 0 119 187

N.S.

1 1.00 1.39 0.84 1.08 1.67 0.00 0.98 1.53

time (sec)

N/A 0.083 0.174 3.695 0.316 0.599 0.000 0.403 1.182

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 81 46 78 113 0 64 76

N.S.

1 1.00 1.09 0.62 1.05 1.53 0.00 0.86 1.03

time (sec)

N/A 0.037 0.171 3.589 0.285 0.376 0.000 0.409 1.127

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 122 61 49 86 0 47 -1

N.S.

1 1.00 0.78 0.39 0.31 0.55 0.00 0.30 -0.01

time (sec)

N/A 0.208 0.176 8.648 0.406 0.361 0.000 0.417 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 206 90 57 254 0 320 -1

N.S.

1 1.00 1.30 0.57 0.36 1.60 0.00 2.01 -0.01

time (sec)

N/A 0.168 0.518 3.636 0.520 0.392 0.000 0.440 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 264 211 69 380 0 176 -1

N.S.

1 1.00 1.25 1.00 0.33 1.80 0.00 0.83 -0.00

time (sec)

N/A 0.219 0.763 3.604 0.647 0.442 0.000 0.415 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 420 273 314 597 0 368 267

N.S.

1 1.00 1.83 1.19 1.37 2.60 0.00 1.60 1.16

time (sec)

N/A 0.185 0.530 3.634 0.528 0.366 0.000 0.433 1.251

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 207 163 202 385 0 217 165

N.S.

1 1.00 1.22 0.96 1.19 2.26 0.00 1.28 0.97

time (sec)

N/A 0.132 0.575 3.544 0.445 0.406 0.000 0.418 1.176

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 114 74 113 216 0 103 89

N.S.

1 1.00 0.86 0.56 0.85 1.62 0.00 0.77 0.67

time (sec)

N/A 0.096 0.325 3.430 0.366 0.358 0.000 0.420 1.136

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 199 106 83 158 0 75 -1

N.S.

1 1.00 0.67 0.36 0.28 0.53 0.00 0.25 -0.00

time (sec)

N/A 0.530 0.331 3.394 0.728 0.369 0.000 0.415 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 442 163 102 709 0 583 -1

N.S.

1 1.00 1.05 0.39 0.24 1.69 0.00 1.39 -0.00

time (sec)

N/A 0.534 0.937 3.411 1.263 0.463 0.000 0.450 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

336 336 615 379 435 883 0 548 376

N.S.

1 1.00 1.83 1.13 1.29 2.63 0.00 1.63 1.12

time (sec)

N/A 0.256 1.684 3.902 1.608 0.376 0.000 0.431 1.352

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 371 223 273 571 0 315 236

N.S.

1 1.00 1.51 0.91 1.11 2.32 0.00 1.28 0.96

time (sec)

N/A 0.179 0.867 3.689 1.108 0.462 0.000 0.414 1.241

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 185 102 149 325 0 142 129

N.S.

1 1.00 1.01 0.56 0.81 1.78 0.00 0.78 0.70

time (sec)

N/A 0.155 0.498 3.700 0.698 0.456 0.000 0.427 1.128

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

437 437 312 151 117 230 0 103 -1

N.S.

1 1.00 0.71 0.35 0.27 0.53 0.00 0.24 -0.00

time (sec)

N/A 1.263 0.486 8.363 2.202 0.584 0.000 0.411 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

692 692 794 239 143 1372 0 840 -1

N.S.

1 1.00 1.15 0.35 0.21 1.98 0.00 1.21 -0.00

time (sec)

N/A 1.275 2.048 13.998 4.800 0.474 0.000 0.460 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 22.580 180.000 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 10.536 180.000 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 186 0 0 160 0 0 -1

N.S.

1 1.00 2.09 0.00 0.00 1.80 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.859 180.000 0.000 0.094 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 195 0 0 272 0 0 -1

N.S.

1 1.00 1.27 0.00 0.00 1.78 0.00 0.00 -0.01

time (sec)

N/A 0.125 8.037 180.000 0.000 0.102 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F A F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

224 224 0 0 0 381 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 1.70 0.00 0.00 -0.00

time (sec)

N/A 0.168 180.001 180.000 0.000 0.103 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 245 470 314 913 0 0 -1

N.S.

1 1.00 1.79 3.43 2.29 6.66 0.00 0.00 -0.01

time (sec)

N/A 0.175 1.431 2.158 0.318 0.516 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 104 290 185 530 0 0 -1

N.S.

1 1.00 1.01 2.82 1.80 5.15 0.00 0.00 -0.01

time (sec)

N/A 0.147 1.402 2.037 0.316 0.452 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 226 129 0 253 0 0 -1

N.S.

1 1.00 3.01 1.72 0.00 3.37 0.00 0.00 -0.01

time (sec)

N/A 0.085 3.041 1.901 0.000 0.377 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.020 3.003 180.000 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.020 9.352 180.000 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 765 905 638 6280 0 0 -1

N.S.

1 1.00 2.76 3.27 2.30 22.67 0.00 0.00 -0.00

time (sec)

N/A 0.360 4.944 3.106 0.357 0.518 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 205 542 423 3291 0 0 -1

N.S.

1 1.00 0.97 2.57 2.00 15.60 0.00 0.00 -0.00

time (sec)

N/A 0.290 3.076 2.661 0.343 0.545 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 192 221 0 1326 0 0 -1

N.S.

1 1.00 1.51 1.74 0.00 10.44 0.00 0.00 -0.01

time (sec)

N/A 0.133 1.401 2.415 0.000 0.555 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 26.741 180.000 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 17.733 180.000 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

566 566 2010 1834 1241 21594 0 0 -1

N.S.

1 1.00 3.55 3.24 2.19 38.15 0.00 0.00 -0.00

time (sec)

N/A 0.703 11.220 3.918 0.598 0.696 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

405 405 1142 1066 835 11295 0 0 -1

N.S.

1 1.00 2.82 2.63 2.06 27.89 0.00 0.00 -0.00

time (sec)

N/A 0.477 9.626 3.335 0.570 0.615 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 265 459 465 4628 0 0 -1

N.S.

1 1.00 1.02 1.76 1.78 17.73 0.00 0.00 -0.00

time (sec)

N/A 0.243 2.217 2.779 0.539 0.466 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.041 41.627 180.000 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 36.260 180.000 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 352 1156 485 1070 0 0 -1

N.S.

1 1.00 1.66 5.45 2.29 5.05 0.00 0.00 -0.00

time (sec)

N/A 0.248 2.410 4.957 0.379 0.498 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 212 733 314 666 0 0 -1

N.S.

1 1.00 1.35 4.67 2.00 4.24 0.00 0.00 -0.01

time (sec)

N/A 0.204 2.610 4.691 0.376 0.394 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 94 357 0 368 0 0 -1

N.S.

1 1.00 0.87 3.31 0.00 3.41 0.00 0.00 -0.01

time (sec)

N/A 0.117 1.789 4.452 0.000 0.624 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.045 9.850 180.000 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 15.588 180.000 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

642 642 1783 2683 993 10559 0 0 -1

N.S.

1 1.00 2.78 4.18 1.55 16.45 0.00 0.00 -0.00

time (sec)

N/A 1.543 8.051 5.314 0.569 0.770 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

476 476 389 1605 709 5782 0 0 -1

N.S.

1 1.00 0.82 3.37 1.49 12.15 0.00 0.00 -0.00

time (sec)

N/A 1.182 6.307 5.153 0.583 0.494 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 476 661 0 2482 0 0 -1

N.S.

1 1.00 2.43 3.37 0.00 12.66 0.00 0.00 -0.01

time (sec)

N/A 0.206 4.366 4.875 0.000 0.397 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 101.517 180.000 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 81.879 180.000 0.000 0.000 0.000 0.000 0.000

[front] [up]